Formal languages

Results: 2429



#Item
31Mathematics / Academia / Discrete mathematics / Combinatorics / Bioinformatics / Computational biology / Formal languages / K-mer / Substring / Partition / Comparison of programming languages / Velvet assembler

Memory Efficient Minimum Substring Partitioning Yang Li, Pegah Kamousi, Fangqiu Han, Shengqi Yang, Xifeng Yan, Subhash Suri University of California, Santa Barbara {yangli, pegah, fhan, sqyang, xyan, suri}@cs.ucsb.edu A

Add to Reading List

Source URL: www.cs.ucsb.edu

Language: English - Date: 2013-07-16 15:28:48
32String computer science) / Linguistics / Formal languages / Computing / Dynamic programming / Approximate string matching / Pattern matching / Suffix tree / JaroWinkler distance / String metric / String / Comparison of programming languages

Surname identification and correction in a corpus of forename surname dataset Suresh Veluru, Yogachandran Rahulamathavan, and Muttukrishnan Rajarajan Information Security Group, School of Engineering and Mathematical Sci

Add to Reading List

Source URL: www.uncertaintyofidentity.com

Language: English - Date: 2013-04-26 11:31:05
33Formal languages / Regular language / Regular expression / Brzozowski derivative / Symbol / Theoretical computer science / Grammar / Metalogic

Formalizing Symbolic Decision Procedures | {z in

Add to Reading List

Source URL: www21.in.tum.de

Language: English - Date: 2015-11-16 04:08:00
34Computing / String computer science) / Formal languages / Mathematics / Geostatistics / Kernel method / Suffix tree / String kernel / Entropy / String / Kernel / Regular expression

KERNELS AND SIMILARITY MEASURES FOR TEXT CLASSIFICATION Andr´e T. Martins Priberam Inform´atica, and Instituto de Telecomunicac¸o˜ es Instituto Superior T´ecnico,

Add to Reading List

Source URL: users.isr.ist.utl.pt

Language: English - Date: 2007-07-11 09:16:08
35Formal languages / Grammar / Language / Cognitive science / Formal grammar / Noncontracting grammar / Regular language / Chomsky hierarchy / Context-free language / LL grammar / Indexed grammar / Context-sensitive grammar

1 Chomsky Hierarchy Grammars for each task

Add to Reading List

Source URL: courses.engr.illinois.edu

Language: English - Date: 2013-03-26 15:21:23
36Software engineering / Computer programming / Computing / Formal languages / Compiler construction / Procedural programming languages / IBM software / PL/I / BackusNaur form / Syntax / Programming language / Formal grammar

TECHNICAL REPORT TRJuneCONCR ETE SYNTAX OF PL / 1

Add to Reading List

Source URL: homepages.cs.ncl.ac.uk

Language: English - Date: 2014-03-06 06:36:07
37Clothing / Mathematics / Combinatorics / Formal languages / Character encoding / String / Thong / Dimension

VACAPES Restricted Areas Environmental Common Operating Picture (COP) GIS metadata DownloadedFinalizedPrepared for: Naval Facilities Engineering Command (NAVFAC) Atlantic

Add to Reading List

Source URL: portal.midatlanticocean.org

Language: English - Date: 2016-05-18 16:29:24
38Formal languages / Cognitive science / Academia / Cognition / Language identification in the limit / Grammar induction / Recurrent neural network / Algorithmic learning theory / Context-free grammar / Regular language / Context-free language / Formal grammar

Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec Sheridan S. Curley Dr. Richard E. Harang

Add to Reading List

Source URL: spw16.langsec.org

Language: English - Date: 2016-06-06 10:35:50
39Algebra / Abstract algebra / Mathematics / Semigroup theory / Algebraic structures / Category theory / Formal languages / Probability distributions / Monoid / Semigroup / Inverse element / Normal distribution

DIVISIBILITY THEORY OF ARITHMETICAL RINGS WITH ONE MINIMAL PRIME IDEAL ´ P. N. ANH AND M. F. SIDDOWAY Version 0.0

Add to Reading List

Source URL: www.renyi.hu

Language: English - Date: 2015-01-13 05:18:27
40Theoretical computer science / Logic in computer science / Software engineering / Computer science / Hardware description languages / Synchronous programming languages / Formal methods / Denotational semantics / Esterel / Robin Milner / Milner / Logic for Computable Functions

Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry

Add to Reading List

Source URL: events.inf.ed.ac.uk

Language: English - Date: 2012-10-10 03:52:00
UPDATE